Results for 'An Automatic Eden'

1000+ found
Order:
  1. Margaret Benyon.Holography as Art & An Automatic Eden - 1978 - In Richard Kostelanetz (ed.), Esthetics contemporary. Buffalo, N.Y.: Prometheus Books.
    No categories
     
    Export citation  
     
    Bookmark  
  2. The Subjective List Theory of Well-Being.Eden Lin - 2016 - Australasian Journal of Philosophy 94 (1):99-114.
    A subjective list theory of well-being is one that accepts both pluralism (the view that there is more than one basic good) and subjectivism (the view, roughly, that every basic good involves our favourable attitudes). Such theories have been neglected in discussions of welfare. I argue that this is a mistake. I introduce a subjective list theory called disjunctive desire satisfactionism, and I argue that it is superior to two prominent monistic subjectivist views: desire satisfactionism and subjective desire satisfactionism. In (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  3. Attitudinal and Phenomenological Theories of Pleasure.Eden Lin - 2020 - Philosophy and Phenomenological Research 100 (3):510-524.
    On phenomenological theories of pleasure, what makes an experience a pleasure is the way it feels. On attitudinal theories, what makes an experience a pleasure is its relationship to the favorable attitudes of the subject who is having it. I advance the debate between these theories in two ways. First, I argue that the main objection to phenomenological theories, the heterogeneity problem, is not compelling. While others have argued for this before, I identify an especially serious version of this problem (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  4. Pluralism about Well‐Being.Eden Lin - 2014 - Philosophical Perspectives 28 (1):127-154.
    Theories of well-being purport to identify the basic goods and bads whose presence in a person's life determines how well she is faring. Monism is the view that there is only one basic good and one basic bad. Pluralism is the view that there is either more than one basic good or more than one basic bad. In this paper, I give an argument for pluralism that is general in the sense that it does not purport to identify any basic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  5. Examining the Structured Uses of Concepts as Tools: Converging Insights.Eden T. Smith - 2019 - Filozofia Nauki 27 (4):7-22.
    Examining the historical development of scientific concepts is important for understanding the structured routines within which these concepts are currently used as goal-directed tools in experiments. To illustrate this claim, I will outline how the concepts of mental imagery and hallucinations each draw on an older interdependent set of associations that, although nominally-discarded, continues to structure their current independent uses for pursuing discrete experimental goals. In doing so, I will highlight how three strands of literature offer mutually instructive insights for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Prudence, Morality, and the Humean Theory of Reasons.Eden Lin - 2015 - Philosophical Quarterly 65 (259):220-240.
    Humeans about normative reasons claim that there is a reason for you to perform a given action if and only if this would promote the satisfaction of one of your desires. Their view has traditionally been thought to have the revisionary implication that an agent can sometimes lack any reason to do what morality or prudence requires. Recently, however, Mark Schroeder has denied this. If he is right, then the Humean theory accords better with common sense than it has been (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  7.  6
    Behaving badly: the new morality in politics, sex, and business.Eden Collinsworth - 2017 - New York: Nan A. Talese/Doubleday.
    What is the relevance of morality today? Eden Collinsworth enlists the famous, the infamous, and the heretofore unheard-of to unravel how we make moral choices in an increasingly complex and ethically flexible age. To call these unsettling times is an understatement: our political leaders are less and less respectable; in the realm of business, cheating, lying, and stealing are hazily defined; and in daily life, rapidly changing technology offers permission to act in ways inconceivable without it. Yet somehow, this (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  86
    Performance of an Ambulatory Dry-EEG Device for Auditory Closed-Loop Stimulation of Sleep Slow Oscillations in the Home Environment.Eden Debellemaniere, Stanislas Chambon, Clemence Pinaud, Valentin Thorey, David Dehaene, Damien Léger, Mounir Chennaoui, Pierrick J. Arnal & Mathieu N. Galtier - 2018 - Frontiers in Human Neuroscience 12.
  9. Well‐being, part 2: Theories of well‐being.Eden Lin - 2022 - Philosophy Compass 17 (2):e12813.
    Theories of well-being purport to identify the features of lives, and of intervals within lives, in virtue of which some people are high in well-being and others are low in well-being. They also purport to identify the properties that make some events or states of affairs good for a person and other events or states of affairs bad for a person. This article surveys some of the main theories of well-being, with an emphasis on work published since the turn of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Examining Tensions in the Past and Present Uses of Concepts (Preprint).Eden T. Smith - 2020 - Studies in History and Philosophy of Science Part A 84:84-94.
    Examining tensions between the past and present uses of scientific concepts can help clarify their contributions as tools in experimental practices. This point can be illustrated by considering the concepts of mental imagery and hallucinations: despite debates over their respective referential reliabilities remaining unresolved within their interdependent histories, both are used as independently stable concepts in neuroimaging experiments. Building on an account of how these concepts function as tools structured for pursuit of diverging goals in experiments, this paper explores this (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  11. Future Desires, the Agony Argument, and Subjectivism about Reasons.Eden Lin - 2020 - Philosophical Review 129 (1):95-130.
    Extant discussions of subjectivism about reasons for action have concentrated on presentist versions of the theory, on which reasons for present actions are grounded in present desires. In this article, I motivate and investigate the prospects of futurist subjectivism, on which reasons for present actions are grounded in present or future desires. Futurist subjectivism promises to answer Parfit's Agony Argument, and it is motivated by natural extensions of some of the considerations that support subjectivism in general. However, it faces a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Attraction, Description and the Desire-Satisfaction Theory of Welfare.Eden Lin - 2016 - Journal of Ethics and Social Philosophy (1):1-8.
    The desire-satisfaction theory of welfare says that what is basically good for a subject is the satisfaction of his desires. One challenge to this view is the existence of quirky desires, such as a desire to count blades of grass. It is hard to see why anyone would desire such things, and thus hard to believe that the satisfaction of such desires could be basically good for anyone. This suggests that only some desires are basically good when satisfied, and that (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13. Three paradigms of computer science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.
    We examine the philosophical disputes among computer scientists concerning methodological, ontological, and epistemological questions: Is computer science a branch of mathematics, an engineering discipline, or a natural science? Should knowledge about the behaviour of programs proceed deductively or empirically? Are computer programs on a par with mathematical objects, with mere data, or with mental processes? We conclude that distinct positions taken in regard to these questions emanate from distinct sets of received beliefs or paradigms within the discipline: – The rationalist (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  14.  13
    Poetic and Legal Fiction in the Aristotelian Tradition.Kathy Eden - 1986 - Princeton University Press.
    When Philip Sidney defends poetry by defending the methods used by poets and lawyers alike, he relies on the traditional association between fiction and legal procedure--an association that begins with Aristotle. In this study Kathy Eden offers a new understanding of this tradition, from its origins in Aristotle's Poetics and De Anima, through its development in the psychological and rhetorical theory of late antiquity and the Middle Ages, to its culmination in the literary theory of the Renaissance. Originally published (...)
  15. Tarski on the Necessity Reading of Convention T.Douglas Eden Patterson - 2006 - Synthese 151 (1):1-32.
    Tarski’s Convention T is often taken to claim that it is both sufficient and necessary for adequacy in a definition of truth that it imply instances of the T-schema where the embedded sentence translates the mentioned sentence. However, arguments against the necessity claim have recently appeared, and, furthermore, the necessity claim is actually not required for the indefinability results for which Tarski is justly famous; indeed, Tarski’s own presentation of the results in the later Undecidable Theories makes no mention of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  16.  13
    Brief learning induces a memory bias for arousing-negative words: an fMRI study in high and low trait anxious persons.Annuschka S. Eden, Vera Dehmelt, Matthias Bischoff, Pienie Zwitserlood, Harald Kugel, Kati Keuper, Peter Zwanzger & Christian Dobel - 2015 - Frontiers in Psychology 6.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  33
    CSR Reputation and Firm Performance: A Dynamic Approach.Stewart R. Miller, Lorraine Eden & Dan Li - 2020 - Journal of Business Ethics 163 (3):619-636.
    Many countries have regulations that require firms to engage in minimum levels of corporate social activities in areas such as the environment and social welfare. In this paper, we argue that changes in a firm’s compliance with CS regulations are reflected in its reputation for corporate social responsibility, which affects the firm’s performance. The performance impacts depend on whether the firm’s CSR reputation in the current and prior periods is positive, neutral, or negative. Our theoretical framework draws on the reputation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18.  34
    Elevated Mutagenicity in Meiosis and Its Mechanism.Ayelet Arbel-Eden & Giora Simchen - 2019 - Bioessays 41 (4):1800235.
    Diploid germ cells produce haploid gametes through meiosis, a unique type of cell division. Independent reassortment of parental chromosomes and their recombination leads to ample genetic variability among the gametes. Importantly, new mutations also occur during meiosis, at frequencies much higher than during the mitotic cell cycles. These meiotic mutations are associated with genetic recombination and depend on double‐strand breaks (DSBs) that initiate crossing over. Indeed, sequence variation among related strains is greater around recombination hotspots than elsewhere in the genome, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  7
    Friends Hold All Things in Common: Tradition, Intellectual Property, and the Adages of Erasmus.Kathy Eden - 2001
    Erasmus' Adages, a vast collection of the proverbial wisdom of Greek and Roman antiquity, was published in 1508 and became one of the most influential works of the Renaissance. It also marked a turning point in the history of Western thinking about literary property. At once a singularly successful commercial product of the new printing industry and a repository of intellectual wealth, the Adages looks ahead to the development of copyright and back to an ancient philosophical tradition that ideas should (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Charles Rosenberg, ed. Right Living: An Anglo-American Tradition of Self-Help Medicine and Hygiene.T. Eden - 2004 - Early Science and Medicine 9 (2):183-184.
    No categories
     
    Export citation  
     
    Bookmark  
  21.  5
    In Remembrance of Saints: The Rise and Fall of an Inner Asian Sufi Dynasty By Muḥammad Ṣadiq Kashgari, translated by David Brophy.Jeff Eden - 2022 - Journal of Islamic Studies 34 (2):284-286.
    David Brophy’s translation of this classic East Turkistani hagiography is an extraordinary achievement and a model of the translator’s art. His challenging Chag.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. "Between Friends All Is Common": The Erasmian Adage and Tradition.Kathy Eden - 1998 - Journal of the History of Ideas 59 (3):405.
    In lieu of an abstract, here is a brief excerpt of the content:“Between Friends All is Common”:The Erasmian Adage and TraditionKathy EdenIn 1508 eager readers received the Aldine edition of Erasmus’s Adages, the Adagiorum chiliades. Replacing the much smaller Paris Collectanea of 1500, the Italian edition included among its many accretions and alterations both a new introduction and a different opening adage. In place of the prefatory letter to William Blount, Lord Mountjoy (Ep. 126, CWE, 1, 255–66), Erasmus substituted a (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Some Philosophical Issues in Computer Science.Amnon H. Eden - 2011 - Minds and Machines 21 (2):123-133.
    The essays included in the special issue dedicated to the philosophy of computer science examine new philosophical questions that arise from reflection upon conceptual issues in computer science and the insights such an enquiry provides into ongoing philosophical debates.
    Direct download (16 more)  
     
    Export citation  
     
    Bookmark  
  24.  16
    Erasmus on Dogs and Baths and Other Odious Comparisons.Kathy Eden - 2018 - Erasmus Studies 38 (1):5-24.
    _ Source: _Volume 38, Issue 1, pp 5 - 24 Fully aware of an antipathy to comparisons that looks back not only to ancient philosophy and law but to the early modern schoolroom, Erasmus nevertheless puts his full prestige behind the strategy so foundational to the rhetorical theory of Plato, Cicero, Quintilian and Aphthonius. This essay examines the key role of comparison in the form of _similitudo_, _parabola_ or _collatio_, and _imago_ in Erasmus’ educational reform as represented by his _De (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  8
    Plautus, Pseudolus 189: Grain-Mountains and Cattle-Fodder.P. T. Eden - 1989 - Classical Quarterly 39 (01):263-.
    In the most recent edition of this play M. M. Willcock places an obelus before montes with the comment ‘monies and acerui get in each other's way’. But in view of its metaphorical use elsewhere in Plautus , prima facie suspicion does not fall on montes.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  22
    The Manuscript Tradition of Seneca's Apocolocyntosis.P. T. Eden - 1979 - Classical Quarterly 29 (01):149-.
    Manuscripts are listed in alphabetical order of library designation, and then, where necessary, in order of catalogue number. The date refers strictly to the cited folia or pages of the manuscript. Defective manuscripts are marked with an asterisk.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. Minimal Inflationism: A Defense of the Truth-Conditional Theory of Meaning.Douglas Eden Patterson - 2000 - Dissertation, University of Pittsburgh
    This dissertation defends the truth-conditional theory of meaning and the inflationary theory of truth it requires by explaining how truth-conditions could play an explanatory role in the account of the proper use of a language while being nevertheless metaphysically "lightweight" properties of sentences instituted by the way these sentences are used by the speakers of a language. Following the common division of approaches to truth into deflationary and inflationary, the dissertation begins in Chapter One with a discussion of currently advocated (...)
     
    Export citation  
     
    Bookmark  
  28.  10
    Luminous darkness: an engaged Buddhist approach to embracing the unknown.Deborah Eden Tull - 2022 - Boulder, Colorado: Shambhala.
    We tend to want to avoid and ignore our dark or difficult emotions, biases, and tendencies-and we eschew them on a cultural and societal level because they reveal painful, ugly truths. The labeling of darkness as "negative" becomes a collective excuse to justify avoiding everything that makes humans uncomfortable: racism, spiritual bypass, environmental destruction. Welcoming darkness with curiosity and reverence, rather than fear or judgment, enables us to access our innate capacity for compassion and collective healing. In Seeing with the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  19
    Nascent Inquiry, Metacognitive, and Self-Regulation Capabilities Among Preschoolers During Scientific Exploration.Ronit Fridman, Sigal Eden & Ornit Spektor-Levy - 2020 - Frontiers in Psychology 11:539021.
    There is common agreement that preschool-level science education affects children’s curiosity, their positive approach towards science, and their desire to engage with the subject. Children’s natural curiosity drives them to engage enthusiastically in all forms of exploration. Engaging in scientific exploration necessitates self-regulation capabilities and a wide repertoire of cognitive and metacognitive strategies. The purpose of this study was to examine to what extent preschoolers (aged 5‒6 years) implement nascent inquiry skills, metacognitive awareness, and self-regulation capabilities during play-based scientific exploration (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  16
    Protecting people who decline to participate in research: an example from a prison setting.P. G. Stiles, M. Epstein, N. Poythress & J. F. Edens - 2012 - IRB: Ethics & Human Research 34 (2):15-18.
    Although there is great concern about protecting those who participate in research, little if any concern has been expressed in the literature about protecting “decliners”—individuals who were invited to participate, but did not. However, there are several situations in which potential participants may experience negative consequences if they choose not to participate—for example, the prison setting, where the power imbalance is obvious and the history of research is not a positive one. We offer several options to protect decliners from possible (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  10
    The Idea of Cheng : Its Formation in the History of Chinese Philosophy.Yanming An - 1997 - Dissertation, University of Michigan
    "Cheng" is a key term in Chinese culture. At the same time, it has been widely viewed as an "elusive," even "the most unintelligible term" by both Chinese and Western scholars, because of its various, sometimes even contradictory usages and definitions. This dissertation points out that cheng possesses a core meaning--consistency. It is shared by all the usages and definitions, and legitimizes their validity as the members of the cheng family. ;The idea of cheng evolves mainly through two traditions, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  65
    A Cognition Knowledge Representation Model Based on Multidimensional Heterogeneous Data.Dong Zhong, Yi-An Zhu, Lanqing Wang, Junhua Duan & Jiaxuan He - 2020 - Complexity 2020:1-17.
    The information in the working environment of industrial Internet is characterized by diversity, semantics, hierarchy, and relevance. However, the existing representation methods of environmental information mostly emphasize the concepts and relationships in the environment and have an insufficient understanding of the items and relationships at the instance level. There are also some problems such as low visualization of knowledge representation, poor human-machine interaction ability, insufficient knowledge reasoning ability, and slow knowledge search speed, which cannot meet the needs of intelligent and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  6
    "Borges’in" Özne Çürütmesi.Anıl Ünal - 2022 - Kilikya Felsefe Dergisi / Cilicia Journal of Philosophy 9 (1):48-65.
    Bu çalışma, Jorge Luis Borges’in Öteki Soruşturmalar ismiyle 1952’ de yayınlanmış denemelerinden “Zamanın Yeni Çürütülmesi” nin yakın okumasını sunuyor. Orijinal makale birbirinden farklı anların özdeşliği düşüncesi üzerinden özneyi ve zamanı yadsıyor. Bu çalışma ise orijinal argümana tümüyle sadık bir biçimde odağa özneyi ve böylece de yazarı yerleştirerek meseleyi tekrar tartışmaya açıyor. Bu tartışmaya orijinal makalede de olduğu gibi Berkeley ve Hume’un fikirleri eşlik etmektedir. Bu fikirleri tekrar ele alma düşüncesinin ardındaki motivasyon Borges’in fikirlerini çürütmek ya da yeni fikirler ile desteklemekten (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  26
    Recognition memory of neutral words can be impaired by task-irrelevant emotional encoding contexts: behavioral and electrophysiological evidence.Qin Zhang, Xuan Liu, Wei An, Yang Yang & Yinan Wang - 2015 - Frontiers in Human Neuroscience 9:123638.
    Previous studies on the effects of emotional context on memory for centrally presented neutral items have obtained inconsistent results. And in most of those studies subjects were asked to either make a connection between the item and the context at study or retrieve both the item and the context. When no response for the contexts is required, how emotional contexts influence memory for neutral items is still unclear. Thus, the present study attempted to investigate the influences of four types of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  15
    Social media analytics and research testbed (SMART): Exploring spatiotemporal patterns of human dynamics with geo-targeted social media messages.Su-Yeon Han, Jean Mark Gawron, Brian H. Spitzberg, Christopher Allen, Chin-Te Jung, Ming-Hsiang Tsou & Jiue-An Yang - 2016 - Big Data and Society 3 (1).
    The multilevel model of meme diffusion conceptualizes how mediated messages diffuse over time and space. As a pilot application of implementing the meme diffusion, we developed the social media analytics and research testbed to monitor Twitter messages and track the diffusion of information in and across different cities and geographic regions. Social media analytics and research testbed is an online geo-targeted search and analytics tool, including an automatic data processing procedure at the backend and an interactive frontend user interface. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  11
    Visually Perceived Negative Emotion Enhances Mismatch Negativity but Fails to Compensate for Age-Related Impairments.Jiali Chen, Xiaomin Huang, Xianglong Wang, Xuefei Zhang, Sishi Liu, Junqin Ma, Yuanqiu Huang, Anli Tang & Wen Wu - 2022 - Frontiers in Human Neuroscience 16.
    Objective: Automatic detection of auditory stimuli, represented by the mismatch negativity, facilitates rapid processing of salient stimuli in the environment. The amplitude of MMN declines with ageing. However, whether automatic detection of auditory stimuli is affected by visually perceived negative emotions with normal ageing remains unclear. We aimed to evaluate how fearful facial expressions affect the MMN amplitude under ageing.Methods: We used a modified oddball paradigm to analyze the amplitude of N100 and MMN in 22 young adults and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  18
    Processing Self-Related Information Under Non-attentional Conditions Revealed by Visual MMN.Sizhe Cheng, Xinhong Li, Qingchen Zhan, Yapei Wang, Yaning Guo, Wei Huang, Yang Cao, Tingwei Feng, Hui Wang, Shengjun Wu, Fei An, Xiuchao Wang, Lun Zhao & Xufeng Liu - 2022 - Frontiers in Human Neuroscience 16.
    Mismatch negativity of event-related potentials is a biomarker reflecting the preattentional change detection under non-attentional conditions. This study was performed to explore whether high self-related information could elicit MMN in the visual channel, indicating the automatic processing of self-related information at the preattentional stage. Thirty-five participants were recruited and asked to list 25 city names including the birthplace. According to the difference of relevance reported from the participants, we divided names of the different cities into high, medium, and low (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  9
    An automatic rotary switch for use with the Ranschburg exposure apparatus for continuous multiple choice work.G. B. Dimmick - 1931 - Journal of Experimental Psychology 14 (3):303.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  9
    AutoSTG+: An automatic framework to discover the optimal network for spatio-temporal graph prediction.Songyu Ke, Zheyi Pan, Tianfu He, Yuxuan Liang, Junbo Zhang & Yu Zheng - 2023 - Artificial Intelligence 318 (C):103899.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  8
    MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics.Dominique Pastre - 1989 - Artificial Intelligence 38 (3):257-318.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  18
    An automatic theorem prover for substitution and detachment systems.Jeremy George Peterson - 1978 - Notre Dame Journal of Formal Logic 19 (1):119-122.
  42. Syntax and intentionality: An automatic link between language and theory-of-mind.Brent Strickland, Matthew Fisher, Frank Keil & Joshua Knobe - 2014 - Cognition 133 (1):249–261.
    Three studies provided evidence that syntax influences intentionality judgments. In Experiment 1, participants made either speeded or unspeeded intentionality judgments about ambiguously intentional subjects or objects. Participants were more likely to judge grammatical subjects as acting intentionally in the speeded relative to the reflective condition (thus showing an intentionality bias), but grammatical objects revealed the opposite pattern of results (thus showing an unintentionality bias). In Experiment 2, participants made an intentionality judgment about one of the two actors in a partially (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43. An Automatic Ockham’s Razor for Bayesians?Gordon Belot - 2019 - Erkenntnis 84 (6):1361-1367.
    It is sometimes claimed that the Bayesian framework automatically implements Ockham’s razor—that conditionalizing on data consistent with both a simple theory and a complex theory more or less inevitably favours the simpler theory. It is shown here that the automatic razor doesn’t in fact cut it for certain mundane curve-fitting problems.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  44.  10
    CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover.Wilayat Khan, Farrukh Aslam Khan, Abdelouahid Derhab & Adi Alhudhaif - 2021 - Complexity 2021:1-12.
    Checking the equivalence of two Boolean functions, or combinational circuits modeled as Boolean functions, is often desired when reliable and correct hardware components are required. The most common approaches to equivalence checking are based on simulation and model checking, which are constrained due to the popular memory and state explosion problems. Furthermore, such tools are often not user-friendly, thereby making it tedious to check the equivalence of large formulas or circuits. An alternative is to use mathematical tools, called interactive theorem (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  23
    An Automatic Ockham’s Razor for Bayesians?Gordon Belot - 2019 - Erkenntnis 84 (6):1361-1367.
    It is sometimes claimed that the Bayesian framework automatically implements Ockham’s razor—that conditionalizing on data consistent with both a simple theory and a complex theory more or less inevitably favours the simpler theory. It is shown here that the automatic razor doesn’t in fact cut it for certain mundane curve-fitting problems.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  3
    An automatic proof of Gödel's incompleteness theorem.Kurt Ammon - 1993 - Artificial Intelligence 61 (2):291-306.
  47.  4
    An automatic proof of Gödel's incompleteness theorem.Kurt Ammon - 1997 - Artificial Intelligence 95 (1):203-207.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Science and God: An automatic opposition between ultimate explanations.Jesse Preston & Nicholas Epley - 2009 - Journal of Experimental Social Psychology 45 (1):238-241.
    No categories
     
    Export citation  
     
    Bookmark   14 citations  
  49.  20
    Design of an Automatic Defect Identification Method Based ECPT for Pneumatic Pressure Equipment.Bo Zhang, YuHua Cheng, Chun Yin, Xuegang Huang, Sara Dadras & Hadi Malek - 2018 - Complexity 2018:1-16.
    In this paper, in order to achieve automatic defect identification for pneumatic pressure equipment, an improved feature extraction algorithm eddy current pulsed thermography is presented. The presented feature extraction algorithm contains four elements: data block selection; variable step search; relation value classification; and between-class distance decision function. The data block selection and variable step search are integrated to decrease the redundant computations in the automatic defect identification. The goal of the classification and between-class distance calculation is to select (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  17
    An example of an automatic graph of intermediate growth.Alexei Miasnikov & Dmytro Savchuk - 2015 - Annals of Pure and Applied Logic 166 (10):1037-1048.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000